home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 730 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  1.1 KB
  1. Path: comma.rhein.de!serpens!not-for-mail
  2. From: mlelstv@serpens.rhein.de (Michael van Elst)
  3. Newsgroups: comp.sys.amiga.programmer
  4. Subject: Re: PPC compilers
  5. Date: 10 Jan 1996 23:40:46 +0100
  6. Organization: dis-
  7. Message-ID: <4d1f9e$ctb@serpens.rhein.de>
  8. References: <john.hendrikx.40ka@grafix.xs4all.nl> <4b77tq$htp@serpens.rhein.de> <5BoUx*MZe@yaps.rhein.de> <4cpi23$ong@sunsystem5.informatik.tu-muenchen.de> <4cq342$j2l@serpens.rhein.de> <4csvb6$oa6@sunsystem5.informatik.tu-muenchen.de> <4cu1pq$1om@serpens.rhein.de> <DKyzGr.1G0@hermes.hrz.uni-bielefeld.de>
  9. NNTP-Posting-Host: serpens.rhein.de
  10.  
  11. isthesin@techfak.uni-bielefeld.de (Stephan Thesing) writes:
  12.  
  13. >|> The precondition is already wrong and so is the claim.
  14.  
  15. >Not really.
  16. >'if p then c' is only false, if p==true and c==false, but
  17. >trivially true, if p==false, as anybody see by looking
  18. >at the truth table of the implication relation ;-)
  19.  
  20. I would ask you to improve your logic.
  21.  
  22. and so != and therefore.
  23.  
  24.  
  25. -- 
  26.                                 Michael van Elst
  27.  
  28. Internet: mlelstv@serpens.rhein.de
  29.                                 "A potential Snark may lurk in every tree."
  30.